como instalar sql developer linux